integration of sin^2x